QOSet{i}  Type{i'} 

latex

Up	sets 1
Definitions of Statement	DSet, QOSet
Definitions	x,y. t(x;y), QOSet, t  T, x(s1,s2), , x:A. B(x), DSet
Lemmas	set leq wf, set car wf, preorder wf, dset wf